منابع مشابه
PROV-man: A PROV-compliant toolkit for provenance management
6 Discoveries in modern science can take years and involve the contribution of large amounts of data, many 7 people and various tools. Although good scientific practice dictates that findings should be reproducible, in 8 practice there are very few automated tools that actually support traceability of the scientific method employed, 9 in particular when various experimental environments are inv...
متن کاملThe rationale of PROV
The prov family of documents are the final output of the World Wide Web Consortium Provenance Working Group, chartered to specify a representation of provenance to facilitate its exchange over the Web. This article reflects upon the key requirements, guiding principles, and design decisions that influenced the prov family of documents. A broad range of requirements were found, relating to the k...
متن کاملD-PROV: Extending the PROV Provenance Model with Workflow Structure
This paper presents an extension to the W3C PROV provenance model, aimed at representing process structure. Although the modelling of process structure is out of the scope of the PROV specification, it is beneficial when capturing and analysing the provenance of data that is produced by programs or other formally encoded processes. In the paper, we motivate the need for such extended model in t...
متن کاملProvenance Composition in PROV
When two communicating processes each record their own provenance, what extra information needs to be recorded in order that a satisfactory account can be given, of the combined process? We propose a set of requirements on (i) the kind of information that the processes can share and (ii) the kind of queries that should be answerable from the combined provenance graph. We describe a solution usi...
متن کاملSemantics of the PROV Data Model
This document presents a model-theoretic semantics for the PROV data model, viewing PROV-DM statements as atomic formulas in the sense of first-order logic, and viewing the constraints and inferences specified in PROV-CONSTRAINTS as a first-order theory. It is shown that valid PROV instances (in the sense of PROV-CONSTRAINTS) correspond to satisfiable theories. This information may be useful to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift für romanische Philologie (ZrP)
سال: 1903
ISSN: 0049-8661,1865-9063
DOI: 10.1515/zrph.1903.27.2.193